Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
891	TABLE OF CONTENTS FOREWORD BY PATRICK MURPHY........................................................................ 6 GLOBAL ANALYSIS ..................................................................................... Add to Reading List Source URL: www.airlineinformation.org Language: English - Date: 2014-03-16 17:57:14 Business Loyalty program AAdvantage Aeroplan Southwest Airlines Malaysia Airlines Qantas United Airlines American Airlines Frequent flyer programs Transport Aviation
892	Value Analysis Frama-C’s value analysis plug-in FluorinePascal Cuoq and Boris Yakobowski with Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Function Expected value Program analysis Mathematics Software Frama-C
893	Value Analysis Frama-C’s value analysis plug-inCarbon) Pascal Cuoq with Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:53 Frama-C Mathematical analysis Function Expected value Logarithm Program analysis Mathematics Functions and mappings Software
894	SOURCE CODE ANALYSIS TOOLBOX FOR SOFTWARE SECURITY ASSURANCE The objective of STANCE is to enable the adoption of program analysis tools as part of security assurance practices and certification Add to Reading List Source URL: www.stance-project.eu Language: English - Date: 2015-04-28 04:21:11 Cyberwarfare Software Software quality Frama-C Static program analysis Vulnerability Software security assurance Security testing Application security Software testing Security Computer security
895	Syllabus Introduction Welcome and Academy history Resources for students and grads People Progress through the program levels Add to Reading List Source URL: www.academyfordogtrainers.com Language: English - Date: 2014-11-24 14:43:14 Mind Clicker training Dog training Animal training Operant conditioning Applied behavior analysis Reinforcement Classical conditioning Learning Behaviorism Behavior Ethology
896	SMT-based False Positive Elimination in Static Program Analysis Maximilian Junker1 , Ralf Huuck2 , Ansgar Fehnker2 , Alexander Knapp3 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:04:17 Compiler construction Control flow graph Data-flow analysis
897	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. GoannaSMT – A Static Analyzer with SMT-based Refinement Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:59 Formal methods Logic in computer science Model checking Satisfiability Modulo Theories Static program analysis Abstract interpretation Abstraction C Software bug Theoretical computer science Software engineering Computing
898	www.ResearchRockstar.comIntroduction to Quantitative Data Analysis: A 4-Week Power Program Foundations for Research Success (6 hours of class time) Add to Reading List Source URL: www.researchrockstar.com Language: English - Date: 2015-02-07 20:00:31 Statistics Evaluation methods Research Data management Quantitative research Marketing research Data analysis CHAID Quantitative analyst Science Scientific method Research methods
899	Senior Review 2013 of the Mission Operations and Data Analysis Program Add to Reading List Source URL: wind.nasa.gov Language: English - Date: 2015-02-24 15:10:02 Space science Heliophysics Sun Solar telescopes Space telescopes NASA STEREO THEMIS Spaceflight Spacecraft Space
900	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods

UPDATE